The foundations of program verification
نویسندگان
چکیده
منابع مشابه
a swot analysis of the english program of a bilingual school in iran
با توجه به جایگاه زبان انگلیسی به عنوان زبانی بین المللی و با در نظر گرفتن این واقعیت که دولت ها و مسئولان آموزش و پرورش در سراسر جهان در حال حاضر احساس نیاز به ایجاد موقعیتی برای کودکان جهت یاد گیری زبان انگلیسی درسنین پایین در مدارس دو زبانه می کنند، تحقیق حاضر با استفاده از مدل swot (قوت ها، ضعف ها، فرصتها و تهدیدها) سعی در ارزیابی مدرسه ای دو زبانه در ایران را دارد. جهت انجام این تحقیق در م...
15 صفحه اولFoundations of Relational Artifacts Verification
Artifacts are entities characterized by data of interest (constituting the state of the artifact) in a given business application, and a lifecycle, which constrains the artifact’s possible evolutions. In this paper we study relational artifacts, where data are represented by a full fledged relational database, and the lifecycle is described by a temporal/dynamic formula expressed in μ-calculus....
متن کاملترجمه و تحقیق کتاب the foundations of mysticism ( فصل 5,4 ) اثر bernard mcginn
تاریخ عرفان مسیحی بدون شناخت ریشه های آن در یهودیت ، فلسفه دینی یهود وبالاتر از همه در تاریخ مسیحیت اولیه قابل درک نیست . کتاب اقای مک گین بهترین راهنما در این زمینه است.این پایان نامه تحقیق وترجمه دوفصل از کتاب مک گین با نام "ریشه های عرفان" است که توسط شرکت کراس رود ( crossroad company) درسال 1999 به چاپ رسیده.همچنین این کتاب اموزه های پدران یونانی (کلمنت اسکندرانی ،اوریگن ،گرگوری نوسایی ، ما...
15 صفحه اولreflections on taught courses of the iranian ma program in english translation: a mixed-methods study
the issue of curriculum and syllabus evaluation and revision has been in center of attention right from when curriculum came into attention of educational institutions. thus everywhere in the world in educational institutions curricula and syllabi are evaluated and revised based on the goals, the needs, existing content, etc.. in iran any curriculum is designed in a committee of specialists and...
Formal Program Verification: a Comparison of Selected Tools and Their Theoretical Foundations
Formal specification and verification of software have made small but continuous advances throughout its long history, and have reached a point where commercial tools became available for verifying programs semi-automatically or automatically. The aim of the master thesis is to evaluate commercial and academic verification tools with respect to their usability in developing software and in teac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1988
ISSN: 0167-6423
DOI: 10.1016/0167-6423(88)90027-5